Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
16

A formal data-model of the CORBA security service

Année:
2001
Langue:
english
Fichier:
PDF, 75 KB
english, 2001
19

A numerical method for the solution of supersonic streamwise vortex dynamics

Année:
2018
Langue:
english
Fichier:
PDF, 940 KB
english, 2018
31

Preface

Année:
2005
Langue:
english
Fichier:
PDF, 58 KB
english, 2005
32

Preface

Année:
2005
Langue:
english
Fichier:
PDF, 69 KB
english, 2005
33

Towards a Quantitative Analysis of Security Protocols

Année:
2006
Langue:
english
Fichier:
PDF, 427 KB
english, 2006
35

Automated Security Protocol Analysis With the AVISPA Tool

Année:
2006
Langue:
english
Fichier:
PDF, 623 KB
english, 2006
36

A History of Until

Année:
2010
Langue:
english
Fichier:
PDF, 340 KB
english, 2010
39

Preface

Année:
2006
Langue:
english
Fichier:
PDF, 104 KB
english, 2006
40

On the semantics of Alice&Bob specifications of security protocols

Année:
2006
Langue:
english
Fichier:
PDF, 548 KB
english, 2006
45

Laparoscopic liver resection: a systematic review

Année:
2009
Langue:
english
Fichier:
PDF, 279 KB
english, 2009
46

OFMC: A symbolic model checker for security protocols

Année:
2005
Langue:
english
Fichier:
PDF, 1.84 MB
english, 2005
47

Preface

Année:
2008
Langue:
english
Fichier:
PDF, 51 KB
english, 2008
50

Object-Oriented Modelling of Flexible Beams

Année:
2006
Langue:
english
Fichier:
PDF, 754 KB
english, 2006